Design and implementation of a partial evaluation-based compiler for an asynchronous realtime programming language

This thesis describes a compiler for the asynchronous real-time programming language ALDiSP. Though the language has a complex semantics not suited for easy compilation, the compiler has to generate code for target platforms that have stringent space limitations, and for target applications that have to satisfy hard real-time requirements. To accomplish this feat, the compiler is based upon an abstract interpreter that simulates all possible evaluation paths of the program. In a reconstruction phase, the program is then totally re-created from the information gained during this simulation. The abstract interpreter is an extension of the formal semantics of ALDiSP. Diese Dissertation beschreibt einen Compiler f ur die asynchrone Echtzeit-Programmiersprache ALDiSP. Obwohl diese Sprache eine komplexe Semantik hat, die eine direkte  Ubersetzung ausschlie t, soll der Compiler Code f ur Zielarchitekturen erzeugen, die starken Speicherplatz-Restriktionen unterliegen, und f ur Applikationen, die harte Echtzeitanforderungen erf ullen m ussen. Um dieses Ziel zu erreichen, enth alt der Compiler als zentrale Komponente einen abstrakten Interpreter, der s amtliche m oglichen Ausf uhrungspfade eines Quellprogramms analysiert. In einer Rekonstruktionsphase wird das Programm aus den vom Interpreter erzeugten Annotationen vollstandig neu aufbaut. Der abstrakte Interpreter ist eine Erweiterung der formalen Semantik von ALDiSP.